Resource Type

Journal Article 10

Year

2021 1

2020 1

2019 2

2015 1

2014 1

2013 1

2012 1

2011 1

2001 1

open ︾

Keywords

BIM 1

Chaum-Pedersen proof 1

Cheating detection 1

Cloud storage 1

Combinatorial reverse auction 1

Data sharing 1

Dynamic pricing 1

Honeycomb Conjecture 1

Revit 1

Service composition 1

Strategy-proof 1

Three Gorges Project 1

User preference 1

bill of quantities 1

bionics 1

construction design 1

curriculum 1

degeneracy 1

electromagnetic bionics 1

electromagnetic protection 1

open ︾

Search scope:

排序: Display mode:

Asecure data sharing scheme with cheating detection based onChaum-Pedersen protocol for cloud storage Research Papers

Xin WANG, Bo YANG, Zhe XIA, Hong-xia HOU

Frontiers of Information Technology & Electronic Engineering 2019, Volume 20, Issue 6,   Pages 787-800 doi: 10.1631/FITEE.1800066

Abstract: introduce a reliable and secure data sharing scheme, using the threshold secret sharing technique and the Chaum-Pedersenzero-knowledge proof.

Keywords: Data sharing     Chaum-Pedersen proof     Cheating detection     Cloud storage    

A new proof of Honeycomb Conjecture by fractal geometry methods

Tong ZHANG, Kai DING

Frontiers of Mechanical Engineering 2013, Volume 8, Issue 4,   Pages 367-370 doi: 10.1007/s11465-013-0273-7

Abstract:

Based on fractal geometry, we put forward a concise and straightforward method to prove Honeycomb Conjecture—a classical mathematic problem. Hexagon wins the most efficient covering unit in the two- dimensional space, compared with the other two covering units—triangle and square. From this point of view, honeycomb is treated as a hierarchical fractal structure that fully fills the plane. Therefore, the total side length and area are easily calculated and from the results, the covering efficiency of each possible unit is provided quantitatively.

Keywords: Honeycomb Conjecture     fractal geometry     hierarchical fractal structure    

Connected morphable components-based multiscale topology optimization

PEDERSEN, Wei CHEN

Frontiers of Mechanical Engineering 2019, Volume 14, Issue 2,   Pages 129-140 doi: 10.1007/s11465-019-0532-3

Abstract: The advances of manufacturing techniques, such as additive manufacturing, have provided unprecedented opportunities for producing multiscale structures with intricate latticed/cellular material microstructures to meet the increasing demands for parts with customized functionalities. However, there are still difficulties for the state-of-the-art multiscale topology optimization (TO) methods to achieve manufacturable multiscale designs with cellular materials, partially due to the disconnectivity issue when tiling material microstructures. This paper attempts to address the disconnectivity issue by extending component-based TO methodology to multiscale structural design. An effective linkage scheme to guarantee smooth transitions between neighboring material microstructures (unit cells) is devised and investigated. Associated with the advantages of components-based TO, the number of design variables is greatly reduced in multiscale TO design. Homogenization is employed to calculate the effective material properties of the porous materials and to correlate the macro/structural scale with the micro/material scale. Sensitivities of the objective function with respect to the geometrical parameters of each component in each material microstructure have been derived using the adjoint method. Numerical examples demonstrate that multiscale structures with well-connected material microstructures or graded/layered material microstructures are realized.

Keywords: multiscale topology optimization     morphable component     material microstructure     homogenization    

Integration of VR with BIM to facilitate real-time creation of bill of quantities during the design phase: a proof

Jordan DAVIDSON, John FOWLER, Charalampos PANTAZIS, Massimo SANNINO, Jordan WALKER, Moslem SHEIKHKHOSHKAR, Farzad Pour RAHIMIAN

Frontiers of Engineering Management 2020, Volume 7, Issue 3,   Pages 396-403 doi: 10.1007/s42524-019-0039-y

Abstract: As building practices change, procedures that seemed indispensable at one point can be abandoned for others, one example of which is the bill of quantities (B/Q). Research into the extant literature attributes the declining use of B/Qs to a multitude of reasons, such as its complexity, the potentially long time required to produce it, the growth in popularity of non-traditional procurement systems, and the challenge of using the information within the document in a construction schedule. With these issues in mind, building information modeling (BIM) and virtual reality (VR) are combined and proposed as a potential solution that allows inclusion of the client into the design process. Following a literature review and precedent study, an experiment was carried out using this new process to simulate a client’s design decisions on window and interior furnishings. The choices made by the client using VR automatically updated a B/Q schedule built in Revit and allowed them to have a firm understanding of project costs. Besides giving the client more confidence in a pleasing final outcome, the technology also ensured an up-to-date, accurate, and easily understandable B/Q. The proposed method features great potential savings in cost and time and gives the B/Q a newfound importance in future construction processes. The research case presented in this paper is a stepping stone in exploring new opportunities offered by VR and BIM and how they could improve the reliability and accuracy of traditional procurement within construction, specifically within the B/Q document.

Keywords: virtual reality     bill of quantities     BIM     Revit     real-time synchronisation    

A strategy-proof auction mechanism for service composition based on user preferences

Yao Xia, Zhiqiu Huang,xiayao@nuaa.edu.cn,zqhuang@nuaa.edu.cn

Frontiers of Information Technology & Electronic Engineering 2021, Volume 22, Issue 2,   Pages 141-286 doi: 10.1631/FITEE.1900726

Abstract: is an effective method of combining existing atomic services into a value-added service based on cost and quality of service (QoS). To meet the diverse needs of users and to offer pricing services based on QoS, we propose a auction mechanism based on s, which is and can be beneficial in selecting services based on s and dynamically determining the price of services. We have proven that the proposed auction mechanism achieves desirable properties including truthfulness and individual rationality. Furthermore, we propose an auction algorithm to implement the auction mechanism, and carry out extensive experiments based on real data. The results verify that the proposed auction mechanism not only achieves desirable properties, but also helps users find a satisfactory scheme.

Keywords: Combinatorial reverse auction     Service composition     User preference     Strategy-proof     Dynamic pricing    

Design of three phase induction motor with flame proof variable frequency used in scraper conveyor

He Huiming,Yang Xiaozhou,Xiao Hong,Fan Zuozhi,Qian Liang,Fan Guang

Strategic Study of CAE 2012, Volume 14, Issue 2,   Pages 59-68

Abstract:

This paper describes a new product, the flame-proof variable-frequency

Keywords: flame proof variable frequency     induction motor     construction design     electromagnetism calculation    

Marine Structures: Future Trends and the Role of Universities Perspective

Preben Terndrup Pedersen

Engineering 2015, Volume 1, Issue 1,   Pages 131-138 doi: 10.15302/J-ENG-2015004

Abstract:

This paper emphasizes some of the challenges and trends associated with the future development of marine structures. Its main focus is on ways to improve the efficiency of energy-consuming ships, and on design challenges related to energy-producing offshore structures. This paper also discusses the analysis tools that are most needed to enable sustainable designs for future ships and offshore structures. The last section of the paper contains thoughts on the role of universities in education, research, and innovation regarding marine structures. It discusses curriculum requirements for maritime-technology education, basic research activities, and international cooperation.

Keywords: marine structures     ships     offshore structures     curriculum     research activities    

Proof of the heavy tailed property of normal cloud model

Li Deyi,Liu Changyu,Gan Wenyan

Strategic Study of CAE 2011, Volume 13, Issue 4,   Pages 20-23

Abstract:

Normal distribution and heavy tailed distribution are very important in probability theories. They have totally different mathematical forms and physical meanings. The probability density function of normal distribution decay exponentially to 0. The majority of normal random variable values are around the mathematical expectation. The tailed distribution function of the random variables that obey heavy tailed distribution shows heavy tailed characteristic. The probability density function decays power exponentially to 0.In this paper, we proved that the normal cloud model is heavy tailed distribution and its mathematical expectation exists.It is intermediate between notmal distribution and heavy tailed distribution. The parameter He(hyper entropy) of the normal cloud model is the bridge from normal distribution to heavy tailed distribution.

Keywords: normal distribution     heavy tailed distribution     normal cloud model     kurtosis    

Scientific Verification Is the Basis for Correct Decisionmaking of Major Project

Pan Jiazheng,Wang Jiazhu

Strategic Study of CAE 2001, Volume 3, Issue 3,   Pages 21-26

Abstract:

The Three Gorges Project is the largest multi-purpose hydro-development project ever built in China and so in the world. The re-verification on TGP undertaken by 412 Chinese experts from 1986 to 1989, laid the foundation for the execution of the project construction. Since 1993, the construction has been commenced and proceeded smoothly according to the approved general schedule. The project investment is well controlled within the approved estimates of the preliminary design. The quality of the work already completed is satisfactory to the design requirements. Several important conclusions drawn from the re-verification have been proved preliminarily to be correct. And a series of major technical challenges, such as river closure of the grand channel, the construction of the deen water cofferdam, the excavation stability of the permanent ship lock with high slope, and the extremely high intensive concrete placement, have been met. The practice has fully proved the necessity and correctness of the previous scientific verification.

Keywords: scientific verification     Three Gorges Project     practical proof    

Study on principle of electromagnetic-proof bionics and fault-restore mechanism

Yuan Liang,Man Menghua and Chang Xiaolong

Strategic Study of CAE 2014, Volume 16, Issue 3,   Pages 76-85

Abstract:

As we borrowed the wisdom from biological neural system,the characteristic of interference-proof inOur study includes the response of electrical- interference- proof circuit in electromagnetic environmentrobustness of functions were proved in order to fill the gap to deal with the need of interference-proof

Keywords: bionics     electromagnetic bionics     electromagnetic protection     degeneracy     plasticity     robustness    

Title Author Date Type Operation

Asecure data sharing scheme with cheating detection based onChaum-Pedersen protocol for cloud storage

Xin WANG, Bo YANG, Zhe XIA, Hong-xia HOU

Journal Article

A new proof of Honeycomb Conjecture by fractal geometry methods

Tong ZHANG, Kai DING

Journal Article

Connected morphable components-based multiscale topology optimization

PEDERSEN, Wei CHEN

Journal Article

Integration of VR with BIM to facilitate real-time creation of bill of quantities during the design phase: a proof

Jordan DAVIDSON, John FOWLER, Charalampos PANTAZIS, Massimo SANNINO, Jordan WALKER, Moslem SHEIKHKHOSHKAR, Farzad Pour RAHIMIAN

Journal Article

A strategy-proof auction mechanism for service composition based on user preferences

Yao Xia, Zhiqiu Huang,xiayao@nuaa.edu.cn,zqhuang@nuaa.edu.cn

Journal Article

Design of three phase induction motor with flame proof variable frequency used in scraper conveyor

He Huiming,Yang Xiaozhou,Xiao Hong,Fan Zuozhi,Qian Liang,Fan Guang

Journal Article

Marine Structures: Future Trends and the Role of Universities

Preben Terndrup Pedersen

Journal Article

Proof of the heavy tailed property of normal cloud model

Li Deyi,Liu Changyu,Gan Wenyan

Journal Article

Scientific Verification Is the Basis for Correct Decisionmaking of Major Project

Pan Jiazheng,Wang Jiazhu

Journal Article

Study on principle of electromagnetic-proof bionics and fault-restore mechanism

Yuan Liang,Man Menghua and Chang Xiaolong

Journal Article